1. Proofs and algorithms: An introduction to logic and computability
پدیدآورنده : / Gilles Dowek (auth.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
